翻訳と辞書
Words near each other
・ Eulima legrandi
・ Eulima leptostoma
・ Eulima leptozona
・ Eulima lodderae
・ Euler's Disk
・ Euler's equations (rigid body dynamics)
・ Euler's factorization method
・ Euler's flycatcher
・ Euler's formula
・ Euler's four-square identity
・ Euler's identity
・ Euler's laws of motion
・ Euler's pump and turbine equation
・ Euler's rotation theorem
・ Euler's sum of powers conjecture
Euler's theorem
・ Euler's theorem (differential geometry)
・ Euler's theorem in geometry
・ Euler's three-body problem
・ Euler's totient function
・ Eulerian matroid
・ Eulerian number
・ Eulerian path
・ Eulerian poset
・ Euler–Bernoulli beam theory
・ Euler–Fokker genus
・ Euler–Heisenberg Lagrangian
・ Euler–Jacobi pseudoprime
・ Euler–Lagrange equation
・ Euler–Lotka equation


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Euler's theorem : ウィキペディア英語版
Euler's theorem

In number theory, Euler's theorem (also known as the Fermat–Euler theorem or Euler's totient theorem) states that if ''n'' and ''a'' are coprime positive integers, then
:a^ \equiv 1 \pmod
where φ(''n'') is Euler's totient function. (The notation is explained in the article Modular arithmetic.) In 1736, Leonhard Euler published his proof of Fermat's little theorem,〔See:
* Leonhard Euler (presented: August 2, 1736; published: 1741) ("Theorematum quorundam ad numeros primos spectantium demonstratio" ) (A proof of certain theorems regarding prime numbers), ''Commentarii academiae scientiarum Petropolitanae'', 8 : 141–146.
* For further details on this paper, including an English translation, see: (The Euler Archive ).〕 which Fermat had presented without proof. Subsequently, Euler presented other proofs of the theorem, culminating with "Euler's theorem" in his paper of 1763, in which he attempted to find the smallest exponent for which Fermat's little theorem was always true.〔See:
* L. Euler (published: 1763) ("Theoremata arithmetica nova methodo demonstrata" ) (Proof of a new method in the theory of arithmetic), ''Novi Commentarii academiae scientiarum Petropolitanae'', 8 : 74–104. Euler's theorem appears as "Theorema 11" on page 102. This paper was first presented to the Berlin Academy on June 8, 1758 and to the St. Petersburg Academy on October 15, 1759. In this paper, Euler's totient function, φ(''n''), is not named but referred to as "numerus partium ad ''N'' primarum" (the number of parts prime to ''N''; that is, the number of natural numbers that are smaller than ''N'' and relatively prime to ''N'').
* For further details on this paper, see: (The Euler Archive ).
* For a review of Euler's work over the years leading to Euler's theorem, see: (Ed Sandifer (2005) "Euler's proof of Fermat's little theorem" )〕
The converse of Euler's theorem is also true: if the above congruence is true, then ''a'' and ''n'' must be coprime.
The theorem is a generalization of Fermat's little theorem, and is further generalized by Carmichael's theorem.
The theorem may be used to easily reduce large powers modulo ''n''. For example, consider finding the ones place decimal digit of 7222, i.e. 7222 (mod 10). Note that 7 and 10 are coprime, and . So Euler's theorem yields , and we get 7222 .
In general, when reducing a power of ''a'' modulo ''n'' (where ''a'' and ''n'' are coprime), one needs to work modulo φ(''n'') in the exponent of ''a'':
:if ''x'' ≡ ''y'' (mod φ(''n'')), then ''a''''x'' ≡ ''a''''y'' (mod ''n'').
Euler's theorem also forms the basis of the RSA encryption system, where the net result of first encrypting a plaintext message, then later decrypting it, amounts to exponentiating a large input number by , for some positive integer ''k''. Euler's theorem then guarantees that the decrypted output number is equal to the original input number, giving back the plaintext.
== Proofs ==
1. Euler's theorem can be proven using concepts from the theory of groups:〔Ireland & Rosen, corr. 1 to prop 3.3.2〕
The residue classes (mod ''n'') that are coprime to ''n'' form a group under multiplication (see the article Multiplicative group of integers modulo n for details.) Lagrange's theorem states that the order of any subgroup of a finite group divides the order of the entire group, in this case φ(''n''). If ''a'' is any number coprime to ''n'' then ''a'' is in one of these residue classes, and its powers ''a'', ''a''2, ..., ''a''''k'' ≡ 1 (mod ''n'') are a subgroup. Lagrange's theorem says ''k'' must divide φ(''n''), i.e. there is an integer ''M'' such that ''kM'' = φ(''n''). But then,
:
a^ =
a^ =
(a^)^M =
1^M =
1 \equiv
1 \pmod.

2. There is also a direct proof:〔Hardy & Wright, thm. 72〕〔Landau, thm. 75〕 Let ''R'' = be a reduced residue system (mod ''n'') and let ''a'' be any integer coprime to ''n''. The proof hinges on the fundamental fact that multiplication by ''a'' permutes the ''x''''i'': in other words if ''ax''''j'' ≡ ''ax''''k'' (mod ''n'') then ''j'' = ''k''. (This law of cancellation is proved in the article Multiplicative group of integers modulo n.〔See Bézout's lemma〕) That is, the sets ''R'' and ''aR'' = , considered as sets of congruence classes (mod ''n''), are identical (as sets - they may be listed in different orders), so the product of all the numbers in ''R'' is congruent (mod ''n'') to the product of all the numbers in ''aR'':
:
\prod_^ x_i \equiv
\prod_^ ax_i \equiv
a^\prod_^ x_i \pmod,
and using the cancellation law to cancel the ''x''''i''s gives Euler's theorem:
:
a^\equiv 1 \pmod.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Euler's theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.